1. An introduction to independence for analysts

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory

رده :
QA
9
.
7
.
D35
1987

2. An introduction to independence for analysts

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory

رده :
QA
9
.
7
.
D35
1987

3. Combinatorial Set Theory

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Combinatorial set theory.,Forcing (Model theory)

رده :
E-Book
,

4. Combinatorial set theory

پدیدآورنده :

کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)

موضوع : Combinatorial set theory,Forcing )Model theory(

رده :
QA
248
.
H22C6
2012

5. Combinatorial set theory

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Combinatorial set theory,Forcing (Model theory)

رده :
QA248
.
H25
2012eb

6. Combinatorial set theory

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Combinatorial set theory,Forcing (Model theory)

رده :
E-BOOK

7. Combinatorial set theory: with a gentle introduction to forcing

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)

موضوع : ، Combinatorial set theory,، Forcing )Model theory(

رده :
QA
248
.
H238
C66

8. Combinatorial set theory :with a gentle introduction to forcing

پدیدآورنده :

موضوع : ، Combinatorial set theory,، Forcing )Model theory(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

9. Combinatorial set theory : with a gentle introduction to forcing

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Combinatorial set theory,، Forcing )Model theory(

رده :
QA
248
.
H25C6

10. Descriptive set theory and definable forcing

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets

رده :
QA
3
.
A475
no
.
793

11. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Forcing )Model theory(

رده :
QA
9
.
A1L44
Vol
.
4

12. Forcing idealized

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Descriptive set theory,، Forcing )Model theory(

رده :
QA
248
.
Z37
2008

13. Forcing idealized

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Descriptive set theory,، Forcing )Model theory(

رده :
QA
248
.
Z34F6

14. Intuitionistic logic, model theory and forcing

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(

رده :
QA
9
.
F56

15. Norms on possibilities I : forcing with trees and creatures

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Forcing )Model theory(

رده :
QA
3
.
A475
no
.
671

16. Proper and improper forcing

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Forcing )Model theory(,، Axiomatic set theory

رده :
QA
9
.
7
.
S54
1998

17. Proper forcing

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Forcing )Model theory(,، Axiomatic set theory

رده :
QA
1
.
L4
v
.
940

18. Proper forcing

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Set theory,Forcing )Model theory(

رده :
QA
3
.
L28
no
.
940

19. The stationary tower :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Forcing (Model theory),Set theory

رده :
QA9
.
7
.
L36
2004

20. The stationary tower : notes on a course by W. Hugh Woodin

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Forcing )Model theory(,، Set theory

رده :
QA
9
.
7
.
L27S8